Reachability problem - PDFSEARCH.IO - Document Search Engine

Reachability problem
Results: 18

#	Item
11	A Sketch-Based Distance Oracle for Web-Scale Graphs Atish Das Sarma Sreenivas Gollapudi Marc Najork Add to Reading List Source URL: www.wsdm-conference.org Language: English - Date: 2009-12-30 02:03:16 Network theory Network flow Graph Shortest path problem Tree Reachability Connectivity Distance Flow network Graph theory Mathematics Theoretical computer science
12	iRoad: A Framework For Scalable Predictive Query Processing On Road Networks ∗ Abdeltawab M. Hendawi Add to Reading List Source URL: www-users.cs.umn.edu Language: English - Date: 2015-04-07 01:41:51 Network theory Graph connectivity Reachability R-tree Routing Shortest path problem Pruning Distributed data storage Bx-tree Graph theory Mathematics Theoretical computer science
13	On the K-reachability Problem for Data Flow Analysis Reasoning may/must queries for combinatorial definitions Xiao Xiao, Charles Zhang Department of Computer Science and Engineering Hong Kong University of Science and Te Add to Reading List Source URL: www.cse.ust.hk Language: English - Date: 2013-12-20 23:04:53 Mathematics Reachability Separable space FO Live variable analysis Applied mathematics Theoretical computer science Data-flow analysis Pointer
14	Illustrating Stepwise Refinement Shortest Path ASMs Egon Börger Dipartimento di Informatica, Universita di Pisa Add to Reading List Source URL: www-madlener.informatik.uni-kl.de Language: English - Date: 2011-11-02 07:23:18 Search algorithms Graph connectivity Abstract state machines Egon Börger Breadth-first search Graph Shortest path problem Reachability Graph theory Theoretical computer science Mathematics
15	Probabilistic Pattern Queries over Complex Probabilistic Graphs Alfredo Cuzzocrea Paolo Serafino Add to Reading List Source URL: www.edbt.org Language: English - Date: 2012-02-05 09:01:06 Graph connectivity Reachability Tree decomposition Shortest path problem Graph database Aanderaa–Karp–Rosenberg conjecture Directed acyclic graph Graph theory Theoretical computer science Mathematics
16	Active Graph Reachability Reduction for Network Security and Software Engineering Alice X. Zheng Microsoft Research Redmond, WA [removed] Add to Reading List Source URL: alicezheng.org Language: English - Date: 2013-11-10 20:05:00 Graph Cut Shortest path problem Flow network Connectivity Graph theory Theoretical computer science Mathematics
17	Vertexica: Your Relational Friend for Graph Analytics! Alekh Jindal∗ Samuel Madden∗ Praynaa Rawlani∗ Amol Deshpande⋆ Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2014-09-10 16:19:45 Graph database Graph Shortest path problem Connected component Bipartite graph Connectivity Path Reachability Vertex Graph theory Mathematics Graph connectivity
18	Backward Induction is PTIME-complete Jakub Szymanik∗ Institute of Logic Language and Computation, University of Amsterdam [removed] Abstract. We prove that the computational problem of finding backward induc Add to Reading List Source URL: jakubszymanik.com Language: English - Date: 2013-07-13 09:14:28 Complexity classes Finite model theory Graph connectivity Game theory FO Reachability P Extensive-form game Tree Theoretical computer science Graph theory Mathematics